No object satisfies more than one of the following predicates:
These predicates define the types boolean, pair, symbol, number, char (or character), string, vector, and procedure.type
